/* Benchmarks for the PionterC verifier. */

// Test alloc(T) function

/*@ */
int f()
{
  int **i;
  i = alloc(int*);
  *i = alloc(int);
  return **i;
}
/*@ */